Generating tools for Message Sequence Charts
نویسنده
چکیده
The recent formalization of the semantics of Message Sequence Charts enables the derivation of tools for MSCs directly from this formal deenition. We use the Asf+Sdf Meta-environment to make a straightforward implementation of tools for transformation, simulation and requirements testing.
منابع مشابه
Speciication of Tools for Message Sequence Charts
The recent formalization of the semantics of Message Sequence Charts enables the derivation of tools for MSCs directly from this formal de-nition. We use the Asf+Sdf Meta-environment to make a straightforward implementation of tools for transformation, simulation and requirements testing. In this paper we present the complete speciication of the tools.
متن کاملAn Analyzer for Message Sequence Charts
Message sequence charts (MSCs) are used in the design phase of a distributed system to record intended system behaviors. They serve as informal documentation of design requirements that are referred to throughout the design process and even in the final system integration and acceptance testing. We show that message sequence charts are open to a variety of semantic interpretations. The meaning ...
متن کاملMessage Sequence Charts with Moritz and Doxygen
This tutorial describes how to create message sequence charts with Moritz and how to include them in the documentation created by Doxygen. Please refer also the tutorial part that explains how to set up the used tools and the architecture of the example project as well as the provided sub-directories for Moritz and Doxygen.
متن کاملBasic protocols, message sequence charts, and the verification of requirements specifications
Message sequence charts are a widely used notation to express requirements specifications of multi-agent systems. The semantics of message sequence charts can be defined algebraically in the theory of agents and insertion functions. Using this algebra, one can split message sequence chart scenarios into sets of Hoare triples consisting of precondition, the specification of a finite process, and...
متن کاملDeciding Properties of Message Sequence Charts
Message Sequence Charts (MSCs) is a notation used in practice by protocol designers and system engineers. It is defined within an international standard (ITU Z120), and is also included, in a slightly different form, in the popular UML standard (called there sequence diagrams). We present some of the main results related to this notation, in the context of specification and automatic verificati...
متن کامل